Algorithme distribué pour l'extraction des fréquents maximaux

International audienceL'extraction des ensembles fréquents maximaux est un problème clef en fouille de données. Nous présentons dans cet article un algorithme distribué qui réalise cette tâche. Il s'agit du premier algorithme distribué avec des garanties de performance prouvées théoriquement

IC0701 verification competition 2011

Abstract. This paper reports on the experiences with the program verification competition held during the FoVeOOS conference in October 2011. There were 6 teams participating in this competition. We discuss the three different challenges that were posed and the solutions developed by the teams. We conclude with a discussion about the value of such competitions and lessons that can be learned from them.

Bordures : de la sélection de vues dans un cube de données au calcul parallèle de fréquents maximaux

La matérialisation de vues est une technique efficace d'optimisation de requêtes. Dans cette thèse, nous proposons une nouvelle vision "orientée utilisateur" de solutions pour le problème de sélection de vues à matérialiser dans les entrepôt de données : l'utilisateur fixe le temps de réponse maximal. Dans cette vision nous proposons des algorithmes qui s'avèrent compétitifs avec les algorithmes de type "orienté système", dans lesquels les ressources, comme la mémoire, sont considérées comme la contrainte forte. L'approche "orientée utilisateur" est étudiée avec un contexte dynamique de système d'optimisation de requêtes. Nous analysons la stabilité de ce système par rapport à la dynamique de la charge de requêtes et des données qui sont insérées ou supprimées. Le concept clé de nos algorithmes de sélection de vues à matérialiser est la bordure. Ce concept a été très étudié en fouille de données dans le cadre du calcul des fréquents maximaux. Plusieurs algorithmes séquentiels ont été proposés pour résoudre ce problème. Nous proposons un nouvel algorithme séquentiel MineWithRounds, facilement parallélisable, qui se distingue des autres propositions par une garantie théorique d'accélération dans le cas de machines à plusieurs unités de calcul et à mémoire partagée.The materialization of views is an effective technique for optimizing queries. In this thesis, we propose a new vision, we qualify it as "user oriented", of the solutions to the problem of selecting views to materialize in data warehouses : the user fixes the maximum response time. In this vision, we propose algorithms that are competitive with the algorithms "oriented system" type, where resources such as memory, are considered as the major constraint. The "user oriented" approach is studied under a dynamic context. We analyze the stability of this system with respect to the dynamic query workload dynamic as well as data dynamic (insertions and deletions). The key concept of our algorithms for selecting views to materialize is the border. This concept has been widely studied in the data mining community under the maximal frequent itemset extration setting. Many sequential algorithms have been proposed. We propose a new sequential algorithm MineWithRounds, easily parallelizable, which differs from the others in that it guarantees a theoretical speed up in the case of multiprocessors shared memory case

Bordures : de la sélection de vues dans un cube de données au calcul parallèle de fréquents maximaux

The materialization of views is an effective technique for optimizing queries. In this thesis, we propose a new vision, we qualify it as "user oriented", of the solutions to the problem of selecting views to materialize in data warehouses : the user fixes the maximum response time. In this vision, we propose algorithms that are competitive with the algorithms "oriented system" type, where resources such as memory, are considered as the major constraint. The "user oriented" approach is studied under a dynamic context. We analyze the stability of this system with respect to the dynamic query workload dynamic as well as data dynamic (insertions and deletions). The key concept of our algorithms for selecting views to materialize is the border. This concept has been widely studied in the data mining community under the maximal frequent itemset extration setting. Many sequential algorithms have been proposed. We propose a new sequential algorithm MineWithRounds, easily parallelizable, which differs from the others in that it guarantees a theoretical speed up in the case of multiprocessors shared memory case.La matérialisation de vues est une technique efficace d'optimisation de requêtes. Dans cette thèse, nous proposons une nouvelle vision "orientée utilisateur" de solutions pour le problème de sélection de vues à matérialiser dans les entrepôt de données : l'utilisateur fixe le temps de réponse maximal. Dans cette vision nous proposons des algorithmes qui s'avèrent compétitifs avec les algorithmes de type "orienté système", dans lesquels les ressources, comme la mémoire, sont considérées comme la contrainte forte. L'approche "orientée utilisateur" est étudiée avec un contexte dynamique de système d'optimisation de requêtes. Nous analysons la stabilité de ce système par rapport à la dynamique de la charge de requêtes et des données qui sont insérées ou supprimées. Le concept clé de nos algorithmes de sélection de vues à matérialiser est la bordure. Ce concept a été très étudié en fouille de données dans le cadre du calcul des fréquents maximaux. Plusieurs algorithmes séquentiels ont été proposés pour résoudre ce problème. Nous proposons un nouvel algorithme séquentiel MineWithRounds, facilement parallélisable, qui se distingue des autres propositions par une garantie théorique d'accélération dans le cas de machines à plusieurs unités de calcul et à mémoire partagée

Matérialisation Partielle des Cubes de Données

International audienc

A view selection algorithm with performance guarantee ∗

A view selection algorithm takes as input a fact table and computes a set of views to store in order to speed up queries. The performance of view selection algorithm is usually measured by three criteria: (1) the amount of memory to store the selected views, (2) the query response time and (3) the time complexity of this algorithm. The two first measurements deal with the output of the algorithm. No existing solutions give good trade-off between amount of memory and queries cost with a small time complexity. We propose in this paper an algorithm guaranteeing a constant approximation factor of queries response time with respect to the optimal solution. Moreover, the time complexity for a D-dimensional fact table is O(D ∗ 2 D) corresponding to the fastest known algorithm. We provide an experimental comparison with two other well known algorithms showing that our approach also gives good performance in terms of memory. 1

Algorithmes pour la sélection de vues à matérialiser avec garantie de performance

National audienceNous considérons dans cet article le problème du choix des vues à matérialiser dans le contexte des datacubes. Contrairement à la plupart des autres travaux, la contrainte que l'on prend en compte ici est relative à la performance des requêtes non pas l'espace mémoire disponible. Nous montrons l'avantage de notre approche avec des arguments théoriques et nous le confirmons par des expériences menées sur des jeux de données différents

Bordures (de la sélection de vues dans un cube de données au calcul parallèle de fréquents maximaux)

La matérialisation de vues est une technique efficace d'optimisation de requêtes. Dans cette thèse, nous proposons une nouvelle vision "orientée utilisateur" de solutions pour le problème de sélection de vues à matérialiser dans les entrepôt de données : l'utilisateur fixe le temps de réponse maximal. Dans cette vision nous proposons des algorithmes qui s'avèrent compétitifs avec les algorithmes de type "orienté système", dans lesquels les ressources, comme la mémoire, sont considérées comme la contrainte forte. L'approche "orientée utilisateur" est étudiée avec un contexte dynamique de système d'optimisation de requêtes. Nous analysons la stabilité de ce système par rapport à la dynamique de la charge de requêtes et des données qui sont insérées ou supprimées. Le concept clé de nos algorithmes de sélection de vues à matérialiser est la bordure. Ce concept a été très étudié en fouille de données dans le cadre du calcul des fréquents maximaux. Plusieurs algorithmes séquentiels ont été proposés pour résoudre ce problème. Nous proposons un nouvel algorithme séquentiel MineWithRounds, facilement parallélisable, qui se distingue des autres propositions par une garantie théorique d'accélération dans le cas de machines à plusieurs unités de calcul et à mémoire partagée.The materialization of views is an effective technique for optimizing queries. In this thesis, we propose a new vision, we qualify it as "user oriented", of the solutions to the problem of selecting views to materialize in data warehouses : the user fixes the maximum response time. In this vision, we propose algorithms that are competitive with the algorithms "oriented system" type, where resources such as memory, are considered as the major constraint. The "user oriented" approach is studied under a dynamic context. We analyze the stability of this system with respect to the dynamic query workload dynamic as well as data dynamic (insertions and deletions). The key concept of our algorithms for selecting views to materialize is the border. This concept has been widely studied in the data mining community under the maximal frequent itemset extration setting. Many sequential algorithms have been proposed. We propose a new sequential algorithm MineWithRounds, easily parallelizable, which differs from the others in that it guarantees a theoretical speed up in the case of multiprocessors shared memory case.BORDEAUX1-Bib.electronique (335229901) / SudocSudocFranceF

The activation of C–O bonds in lignin Miscanthus over acidic heterogeneous catalysts: towards lignin depolymerisation to monomer units

peer reviewedOne-pot depolymerisation of lignin, extracted from Miscanthus plants under acidic (formic acid lignin, FAL) or basic (ammonia lignin, AL) conditions, over Ni- and/or Nb-doped SBA-15, was the subject of this study. The aforementioned acid catalysts prepared by sol–gel method were characterized by SEM–EDX, ATR-FTIR, Raman, XRD, N2 adsorption/desorption isotherms, CO2-TPD and NH3-TPD techniques. The increase in acidity due to the insertion of Nb into the SBA-15 structure promoted the selective cleavage of β–O–4 from ammonia lignin, leading to aromatic monomer yields up to 22 wt% in 6 h at 180 °C under 50 atm H2. The catalytic performances of Ni-Nb-SBA-15 as well as its stability were influenced by the chemical composition of the lignin sample as results of its extraction from the Miscanthus plant

Ecotoxicological Studies on the Action of Actara 25 WG Insecticide on Prussian Carp (Carassius gibelio) and Marsh Frog (Pelophylax ridibundus)

The toxic action of the Actara 25 WG insecticide (it contains 25% thiamethoxam as an active substance) in non-lethal doses was studied in two species of aquatic organisms—the Prussian carp (Carassius gibelio) and the marsh frog (Pelophylax ridibundus)—at two thermal levels, 6–8 °C (low temperature) and 18–20 °C (room temperature), respectively. In the Prussian carp, we recorded decreases in oxygen consumption and stimulation of the respiratory rhythm, changes that were more pronounced in the case of intoxicated fish and when the species were kept at room temperature. The histopathology of the lung in the frog illustrated the thickening of the conjunctival septum, an increase in the number of mucous cells, and an increase in the ratio between the diameter of the nucleus and the diameter of the pneumocyte. All of these changes were more pronounced in the animals kept at higher temperature. Our study looks at the extent to which temperature changes can influence the ability of poikilothermic organisms to withstand the presence of toxic substances in the environment as a result of the impact of the use of insecticides in agriculture. The two tested organisms are a common presence for the study area, which was affected in the last decade by climate change